Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
591	JOURNAL OF INFORMATION ARCHITECTURE \| VOLUME 2 ISSUE 2 PEER-REVIEWED PAPER Martin Frické University of Arizona Add to Reading List Source URL: journalofia.org Language: English - Date: 2011-01-31 09:25:41 Knowledge representation Abstraction Predicate logic Model theory Library classification Hierarchy Function Predicate Property Mathematical logic Logic Mathematics
592	Formalizations Of Substitution Of Equals For Equals David Gries 1,2 and Fred B. Schneider 1 1 Computer Science, Univ. of Georgia Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-05-31 13:46:38 Propositional calculus Predicate logic Model theory Quantification First-order logic Function Constructible universe Generalization Universal quantification Logic Mathematical logic Mathematics
593	UNIVERSAL ALGEBRA Jaroslav Jeˇzek First edition, April 2008 Contents Add to Reading List Source URL: www.karlin.mff.cuni.cz Language: English - Date: 2011-06-16 11:15:48 Algebraic structures Lattice theory Boolean algebra Predicate logic Abstract algebra Universal algebra Distributive lattice Model theory Representation theory Mathematics Mathematical logic Logic
594	Semantic Paradoxes and Abductive Methodology (draft of paper to appear in Brad Armour-Garb, ed., The Relevance of the Liar, Oxford: Oxford University Press) Timothy Williamson Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2014-10-24 06:49:28 Propositional calculus Mathematical logic Predicate logic Entailment Logical truth Interpretation First-order logic Non-logical symbol Truth Logic Philosophical logic Logical syntax
595	Putting time into proof outlines Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-13 00:03:46 Model theory Propositional calculus Predicate logic Logic in computer science First-order logic Predicate Assertion Entailment Axiom Logic Mathematics Mathematical logic
596	Theories of the Copula in the Logical Works of Abelard Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2015-02-16 06:09:41 Parts of speech Ontology Traditional logic Logicians Peter Abelard Copula Sic et Non Problem of universals Predicate Philosophy Linguistics Science
597	Business, legal and socioeconomic impacts Deliverable: D3.4 Date: 15 May[removed]Version: 1.0 Add to Reading List Source URL: www.laquadrature.net Language: English - Date: 2013-08-20 13:50:49 Quantification Semantics Network neutrality Sensitivity analysis Science Analytic philosophy Logic Philosophical logic Predicate logic
598	DONALD DAVIDSON ON SAYING THAT* Add to Reading List Source URL: www.philosophie.uni-muenchen.de Language: English - Date: 2012-11-12 03:41:39 Philosophical logic Philosophy of language Semantics Theories of truth Logical syntax Truth Semantic theory of truth Predicate Donald Davidson Logic Philosophy Analytic philosophy
599	John Barnes Expressions This work is licensed under a Creative Commons AttributionNonCommercial-ShareAlike 3.0 Unported License. Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-11-27 11:41:30 Procedural programming languages Quantification Predicate logic Conditional ALGOL 68 Control flow Switch statement Universal quantification Regular expression Software engineering Computing Computer programming
600	Existence and Predication: Frege-Russell 'Is' Ambiguity Thesis Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2013-12-29 03:26:16 Parts of speech Semantics Philosophical logic Philosophy of language Traditional logic Copula Predicate Existence E-Prime Linguistics Philosophy Logic

UPDATE